Formal specification of an access control system
نویسندگان
چکیده
منابع مشابه
Formal Specification of an Access Control System
Computing facilities networked together but controlled by different administrations pose a problem of access control. Who decides who can use what? We specify a formal model for an access control system which allows users and services from different administrations to communicate with each other, while still allowing the administrators to retain control of their own parts of the network. The mo...
متن کاملSemantic Access Control Model: A Formal Specification
The Semantic Access Control Model (SAC), built on the basis of separation of the authorization and access control management responsibilities, provides adequate solutions to the problems of access control in distributed and dynamic systems with heterogeneous security requirements. SAC is characterized by its flexibility for accommodating dissimilar security policies, but also by the ease of man...
متن کاملFormal Specification of Common Criteria Based Access Control Policy Model
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access control mechanism is identified as one of the major causes that facilitated IT sabotage. In this paper we propose a network access control meta model as per ISO/IEC security evaluation criteria Common Criteria to provide...
متن کاملFormal Specification and Development of Control System Input/Output
This report presents a formal speciication in the Z notation for computations that calculate control system state variables from input/output device register contents (and vice-versa). The speciication is motivated by a particular medical device but is quite generic and should be widely applicable. The speciication is parameterized so that an implementation can be adapted to diierent control sy...
متن کاملdevelopment and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software: Practice and Experience
سال: 1987
ISSN: 0038-0644,1097-024X
DOI: 10.1002/spe.4380170903